T.N. Sriram (eds.): Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (37)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

Transitional Justice and Peacebuilding on the Ground: Victims and Ex-Combatants

Transitional Justice and Peacebuilding on the Ground: Victims and Ex-Combatants

Chandra Lekha Sriram, Jemima García-Godos, Johanna Herman, Olga Martin-Ortega (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 2.22 MB

0 / 0

english, 2012

2

Artificial Intelligence in Engineering Design. Knowledge Acquisition, Commercial Systems, and Integrated Environments

Artificial Intelligence in Engineering Design. Knowledge Acquisition, Commercial Systems, and Integrated Environments

Elsevier Science

Christopher Tong and Duvvuru Sriram (Eds.)

సంవత్సరం:

1992

భాష:

english

ఫైల్:

PDF, 10.07 MB

0 / 0

english, 1992

3

Surviving Field Research: Working in Violent and Difficult Situations

Surviving Field Research: Working in Violent and Difficult Situations

Chandra Lekha Sriram et al. (eds)

సంవత్సరం:

2009

భాష:

english

ఫైల్:

PDF, 2.49 MB

0 / 0

english, 2009

4

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, Part II

Sriram Sankaranarayanan, Natasha Sharygina, (eds.)

సంవత్సరం:

2023

భాష:

english

ఫైల్:

PDF, 15.35 MB

0 / 5.0

english, 2023

5

Plant Metabolism: Methods and Protocols

Plant Metabolism: Methods and Protocols

Catherine Deborde, Daniel Jacob (auth.), Ganesh Sriram (eds.)

సంవత్సరం:

2014

భాష:

english

ఫైల్:

PDF, 6.91 MB

0 / 0

english, 2014

6

Peer-to-Peer Systems III: Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers

Peer-to-Peer Systems III: Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sriram Ramabhadran, Sumeet Singh, Kiran Tati (auth.), Geoffrey M. Voelker, Scott Shenker (eds.)

సంవత్సరం:

2005

భాష:

english

ఫైల్:

PDF, 3.23 MB

0 / 5.0

english, 2005

7

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.)

సంవత్సరం:

2008

భాష:

english

ఫైల్:

PDF, 5.68 MB

0 / 0

english, 2008

8

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Springer International Publishing

Sriram Sankaranarayanan, Enrico Vicario (eds.)

సంవత్సరం:

2015

భాష:

english

ఫైల్:

PDF, 9.76 MB

0 / 0

english, 2015

9

Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings

Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Theo C. Ruys (auth.), Thomas Ball, Sriram K. Rajamani (eds.)

సంవత్సరం:

2003

భాష:

english

ఫైల్:

PDF, 2.42 MB

0 / 0

english, 2003

10

Information Systems Security: 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings

Information Systems Security: 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Sriram K. Rajamani (auth.), Somesh Jha, Anish Mathuria (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 2.99 MB

0 / 0

english, 2011

11

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.)

సంవత్సరం:

2010

భాష:

english

ఫైల్:

PDF, 2.36 MB

0 / 0

english, 2010

12

Computer-Aided Cooperative Product Development: MIT-JSME Workshop MIT, Cambridge, USA, November 20/21, 1989 Proceedings

Computer-Aided Cooperative Product Development: MIT-JSME Workshop MIT, Cambridge, USA, November 20/21, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

D. Sriram, R. Logcher, S. Fukuda (auth.), Duvvuru Sriram, Robert Logcher, Shuichi Fukuda (eds.)

సంవత్సరం:

1991

భాష:

english

ఫైల్:

DJVU, 10.56 MB

0 / 0

english, 1991

13

Distributed Computing and Networking: 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings

Distributed Computing and Networking: 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Prith Banerjee (auth.), Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu (eds.)

సంవత్సరం:

2010

భాష:

english

ఫైల్:

PDF, 9.85 MB

0 / 0

english, 2010

14

Distributed Computing and Networking: 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings

Distributed Computing and Networking: 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Prith Banerjee (auth.), Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu (eds.)

సంవత్సరం:

2010

భాష:

english

ఫైల్:

PDF, 9.79 MB

0 / 0

english, 2010

15

Information Systems Security: 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings

Information Systems Security: 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Sriram K. Rajamani (auth.), Somesh Jha, Anish Mathuria (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 3.27 MB

0 / 0

english, 2011

16

Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani (auth.), Eerke A. Boiten, John Derrick, Graeme Smith (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 5.07 MB

0 / 0

english, 2004

17

Information Systems Security: 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings

Information Systems Security: 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Sriram K. Rajamani (auth.), Somesh Jha, Anish Mathuria (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 4.70 MB

0 / 0

english, 2011

18

Digital Forensics and Cyber Crime: First International ICST Conference, ICDF2C 2009, Albany, NY, USA, September 30-October 2, 2009, Revised Selected Papers

Digital Forensics and Cyber Crime: First International ICST Conference, ICDF2C 2009, Albany, NY, USA, September 30-October 2, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sriram Raghavan, S. V. Raghavan (auth.), Sanjay Goel (eds.)

సంవత్సరం:

2010

భాష:

english

ఫైల్:

PDF, 5.01 MB

0 / 0

english, 2010

19

Counselling in India: Reflections on the Process

Counselling in India: Reflections on the Process

Springer Singapore

Sujata Sriram (eds.)

సంవత్సరం:

2016

భాష:

english

ఫైల్:

PDF, 1.66 MB

0 / 0

english, 2016

20

Intelligent Knowledge-Based Systems: Business and Technology in the New Millennium

Intelligent Knowledge-Based Systems: Business and Technology in the New Millennium

Xuan F. Zha, Ram D. Sriram (auth.), Cornelius T. Leondes (eds.)

సంవత్సరం:

2005

భాష:

english

ఫైల్:

PDF, 43.07 MB

0 / 0

english, 2005

21

Management of Design: Engineering and Management Perspectives

Management of Design: Engineering and Management Perspectives

Springer Netherlands

Friedrich B. Prinz (auth.), Sriram Dasu, Charles Eastman (eds.)

సంవత్సరం:

1994

భాష:

english

ఫైల్:

PDF, 15.68 MB

0 / 0

english, 1994

22

Contemporary Developments in Statistical Theory: A Festschrift for Hira Lal Koul

Contemporary Developments in Statistical Theory: A Festschrift for Hira Lal Koul

Springer International Publishing

Soumendra Lahiri, Anton Schick (auth.), Soumendra Lahiri, Anton Schick, Ashis SenGupta, T.N. Sriram (eds.)

సంవత్సరం:

2014

భాష:

english

ఫైల్:

PDF, 7.58 MB

0 / 0

english, 2014

23

Product Modeling for Computer Integrated Design and Manufacture: TC5/WG5.2 International Workshop on Geometric Modeling in Computer Aided Design 19–23 May 1996, Airlie, Virginia, USA

Product Modeling for Computer Integrated Design and Manufacture: TC5/WG5.2 International Workshop on Geometric Modeling in Computer Aided Design 19–23 May 1996, Airlie, Virginia, USA

M. J. Pratt, R. D. Sriram, M. J. Wozny (eds.)

సంవత్సరం:

1997

భాష:

english

ఫైల్:

PDF, 39.27 MB

0 / 0

english, 1997

24

Hardware Implementation of Intelligent Systems

Hardware Implementation of Intelligent Systems

Physica-Verlag Heidelberg

Ranga Vemuri, Sriram Govindarajan, Iyad Ouaiss, Meenakshi Kaul, Vinoo Srinivasan (auth.), Prof. Horia-Nicolai Teodorescu, Prof. Lakhmi C. Jain, Prof. Abraham Kandel (eds.)

సంవత్సరం:

2001

భాష:

english

ఫైల్:

PDF, 7.67 MB

0 / 0

english, 2001

25

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie (auth.), Philippa Gardner, Nobuko Yoshida (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 14.38 MB

0 / 0

english, 2004

26

Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani (auth.), Eerke A. Boiten, John Derrick, Graeme Smith (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 9.89 MB

0 / 0

english, 2004

27

Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Aditya V. Nori, Sriram K. Rajamani (auth.), Hongseok Yang (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 5.06 MB

0 / 0

english, 2011

28

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.)

సంవత్సరం:

2008

భాష:

english

ఫైల్:

PDF, 7.31 MB

0 / 0

english, 2008

29

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie (auth.), Philippa Gardner, Nobuko Yoshida (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 3.95 MB

0 / 0

english, 2004

30

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

George C. Necula, Sumit Gulwani (auth.), Kousha Etessami, Sriram K. Rajamani (eds.)

సంవత్సరం:

2005

భాష:

english

ఫైల్:

PDF, 4.88 MB

0 / 0

english, 2005

31

High Performance Computing — HiPC 2000: 7th International Conference Bangalore, India, December 17–20, 2000 Proceedings

High Performance Computing — HiPC 2000: 7th International Conference Bangalore, India, December 17–20, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Rob F. Van der Wijngaart (auth.), Mateo Valero, Viktor K. Prasanna, Sriram Vajapeyam (eds.)

సంవత్సరం:

2000

భాష:

english

ఫైల్:

PDF, 4.94 MB

0 / 0

english, 2000

32

High Performance Computing — HiPC 2001: 8th International Conference Hyderabad, India, December 17–20, 2001 Proceedings

High Performance Computing — HiPC 2001: 8th International Conference Hyderabad, India, December 17–20, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

D. K. Koukopoulos, S. E. Nikoletseas, Paul G. Spirakis (auth.), Burkhard Monien, Viktor K. Prasanna, Sriram Vajapeyam (eds.)

సంవత్సరం:

2001

భాష:

english

ఫైల్:

PDF, 4.40 MB

0 / 0

english, 2001

33

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.)

సంవత్సరం:

2010

భాష:

english

ఫైల్:

PDF, 2.42 MB

0 / 0

english, 2010

34

Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Aditya V. Nori, Sriram K. Rajamani (auth.), Hongseok Yang (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 4.71 MB

0 / 0

english, 2011

35

Component Models and Systems for Grid Applications: Proceedings of the Workshop on Component Models and Systems for Grid Applications held June 26, 2004 in Saint Malo, France.

Component Models and Systems for Grid Applications: Proceedings of the Workshop on Component Models and Systems for Grid Applications held June 26, 2004 in Saint Malo, France.

Dennis Gannon, Sriram Krishnan, Alexander Slominski, Gopi Kandaswamy, Liang Fang (auth.), Vladimir Getov, Thilo Kielmann (eds.)

సంవత్సరం:

2005

భాష:

english

ఫైల్:

PDF, 6.52 MB

0 / 0

english, 2005

36

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie (auth.), Philippa Gardner, Nobuko Yoshida (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 5.19 MB

0 / 0

english, 2004

37

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

George C. Necula, Sumit Gulwani (auth.), Kousha Etessami, Sriram K. Rajamani (eds.)

సంవత్సరం:

2005

భాష:

english

ఫైల్:

PDF, 5.38 MB

0 / 0

english, 2005